node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
link(1,2) :- #0.798.
link(2,1) :- #0.229.
link(1,12) :- #0.343.
link(12,1) :- #0.806.
link(1,17) :- #0.371.
link(17,1) :- #0.023.
link(1,18) :- #0.38.
link(18,1) :- #0.255.
link(1,19) :- #0.113.
link(19,1) :- #0.766.
link(1,20) :- #0.916.
link(20,1) :- #0.489.
link(1,36) :- #0.296.
link(36,1) :- #0.615.
link(1,43) :- #0.372.
link(43,1) :- #0.053.
link(1,46) :- #0.947.
link(46,1) :- #0.789.
link(1,69) :- #0.477.
link(69,1) :- #0.886.
link(1,73) :- #0.786.
link(73,1) :- #0.004.
link(1,77) :- #0.835.
link(77,1) :- #0.268.
link(1,85) :- #0.687.
link(85,1) :- #0.666.
link(1,101) :- #0.986.
link(101,1) :- #0.387.
link(1,103) :- #0.742.
link(103,1) :- #0.871.
link(1,116) :- #0.018.
link(116,1) :- #0.725.
link(1,126) :- #0.127.
link(126,1) :- #0.05.
link(1,128) :- #0.304.
link(128,1) :- #0.723.
link(1,137) :- #0.243.
link(137,1) :- #0.376.
link(2,24) :- #0.212.
link(24,2) :- #0.875.
link(2,25) :- #0.56.
link(25,2) :- #0.445.
link(2,26) :- #0.067.
link(26,2) :- #0.371.
link(2,33) :- #0.342.
link(33,2) :- #0.946.
link(2,34) :- #0.471.
link(34,2) :- #0.149.
link(2,42) :- #0.982.
link(42,2) :- #0.869.
link(2,44) :- #0.276.
link(44,2) :- #0.122.
link(2,52) :- #0.027.
link(52,2) :- #0.85.
link(2,68) :- #0.439.
link(68,2) :- #0.05.
link(2,81) :- #0.47.
link(81,2) :- #0.603.
link(2,93) :- #0.378.
link(93,2) :- #0.76.
link(2,103) :- #0.563.
link(103,2) :- #0.294.
link(2,123) :- #0.76.
link(123,2) :- #0.016.
link(2,127) :- #0.864.
link(127,2) :- #0.706.
link(2,132) :- #0.261.
link(132,2) :- #0.51.
link(2,137) :- #0.572.
link(137,2) :- #0.036.
link(3,6) :- #0.378.
link(6,3) :- #0.966.
link(3,18) :- #0.275.
link(18,3) :- #0.025.
link(3,20) :- #0.923.
link(20,3) :- #0.156.
link(3,25) :- #0.165.
link(25,3) :- #0.527.
link(3,49) :- #0.058.
link(49,3) :- #0.3.
link(3,55) :- #0.781.
link(55,3) :- #0.719.
link(3,61) :- #0.506.
link(61,3) :- #0.496.
link(3,65) :- #0.385.
link(65,3) :- #0.428.
link(3,70) :- #0.637.
link(70,3) :- #0.066.
link(3,90) :- #0.936.
link(90,3) :- #0.884.
link(3,94) :- #0.038.
link(94,3) :- #0.12.
link(3,96) :- #0.024.
link(96,3) :- #0.91.
link(3,100) :- #0.819.
link(100,3) :- #0.919.
link(3,111) :- #0.309.
link(111,3) :- #0.745.
link(3,112) :- #0.487.
link(112,3) :- #0.324.
link(3,114) :- #0.601.
link(114,3) :- #0.561.
link(3,126) :- #0.828.
link(126,3) :- #0.514.
link(4,6) :- #0.397.
link(6,4) :- #0.998.
link(4,15) :- #0.661.
link(15,4) :- #0.346.
link(4,16) :- #0.919.
link(16,4) :- #0.85.
link(4,28) :- #0.855.
link(28,4) :- #0.941.
link(4,39) :- #0.632.
link(39,4) :- #0.341.
link(4,45) :- #0.109.
link(45,4) :- #0.013.
link(4,54) :- #0.16.
link(54,4) :- #0.047.
link(4,57) :- #0.049.
link(57,4) :- #0.898.
link(4,58) :- #0.141.
link(58,4) :- #0.9.
link(4,67) :- #0.384.
link(67,4) :- #0.295.
link(4,72) :- #0.904.
link(72,4) :- #0.223.
link(4,80) :- #0.726.
link(80,4) :- #0.32.
link(4,94) :- #0.133.
link(94,4) :- #0.276.
link(4,95) :- #0.961.
link(95,4) :- #0.274.
link(4,96) :- #0.836.
link(96,4) :- #0.456.
link(4,102) :- #0.604.
link(102,4) :- #0.323.
link(4,110) :- #0.489.
link(110,4) :- #0.178.
link(4,117) :- #0.652.
link(117,4) :- #0.465.
link(4,124) :- #0.119.
link(124,4) :- #0.626.
link(5,32) :- #0.108.
link(32,5) :- #0.435.
link(5,36) :- #0.222.
link(36,5) :- #0.165.
link(5,53) :- #0.581.
link(53,5) :- #0.506.
link(5,59) :- #0.615.
link(59,5) :- #0.289.
link(5,68) :- #0.235.
link(68,5) :- #0.26.
link(5,84) :- #0.932.
link(84,5) :- #0.864.
link(5,103) :- #0.65.
link(103,5) :- #0.754.
link(5,106) :- #0.168.
link(106,5) :- #0.923.
link(5,117) :- #0.018.
link(117,5) :- #0.914.
link(6,7) :- #0.314.
link(7,6) :- #0.113.
link(6,20) :- #0.946.
link(20,6) :- #0.436.
link(6,35) :- #0.156.
link(35,6) :- #0.491.
link(6,41) :- #0.38.
link(41,6) :- #0.794.
link(6,42) :- #0.052.
link(42,6) :- #0.894.
link(6,49) :- #0.753.
link(49,6) :- #0.593.
link(6,57) :- #0.406.
link(57,6) :- #0.665.
link(6,72) :- #0.048.
link(72,6) :- #0.517.
link(6,74) :- #0.145.
link(74,6) :- #0.574.
link(6,88) :- #0.634.
link(88,6) :- #0.236.
link(6,91) :- #0.318.
link(91,6) :- #0.239.
link(6,107) :- #0.233.
link(107,6) :- #0.135.
link(6,128) :- #0.838.
link(128,6) :- #0.95.
link(7,19) :- #0.582.
link(19,7) :- #0.795.
link(7,37) :- #0.776.
link(37,7) :- #0.239.
link(7,75) :- #0.005.
link(75,7) :- #0.068.
link(7,80) :- #0.839.
link(80,7) :- #0.801.
link(7,84) :- #0.368.
link(84,7) :- #0.156.
link(7,86) :- #0.005.
link(86,7) :- #0.976.
link(7,97) :- #0.619.
link(97,7) :- #0.541.
link(7,103) :- #0.431.
link(103,7) :- #0.192.
link(7,106) :- #0.029.
link(106,7) :- #0.321.
link(7,117) :- #0.027.
link(117,7) :- #0.839.
link(8,14) :- #0.589.
link(14,8) :- #0.702.
link(8,25) :- #0.421.
link(25,8) :- #0.56.
link(8,30) :- #0.911.
link(30,8) :- #0.022.
link(8,33) :- #0.805.
link(33,8) :- #0.911.
link(8,50) :- #0.957.
link(50,8) :- #0.007.
link(8,59) :- #0.62.
link(59,8) :- #0.684.
link(8,65) :- #0.809.
link(65,8) :- #0.386.
link(8,73) :- #0.456.
link(73,8) :- #0.617.
link(8,77) :- #0.025.
link(77,8) :- #0.911.
link(8,78) :- #0.673.
link(78,8) :- #0.025.
link(8,105) :- #0.495.
link(105,8) :- #0.134.
link(8,116) :- #0.164.
link(116,8) :- #0.463.
link(8,119) :- #0.836.
link(119,8) :- #0.369.
link(8,128) :- #0.622.
link(128,8) :- #0.539.
link(8,131) :- #0.395.
link(131,8) :- #0.613.
link(8,135) :- #0.52.
link(135,8) :- #0.597.
link(9,17) :- #0.767.
link(17,9) :- #0.174.
link(9,22) :- #0.542.
link(22,9) :- #0.001.
link(9,27) :- #0.261.
link(27,9) :- #0.407.
link(9,28) :- #0.09.
link(28,9) :- #0.362.
link(9,33) :- #0.958.
link(33,9) :- #0.694.
link(9,35) :- #0.957.
link(35,9) :- #0.08.
link(9,41) :- #0.39.
link(41,9) :- #0.169.
link(9,76) :- #0.93.
link(76,9) :- #0.211.
link(9,84) :- #0.691.
link(84,9) :- #0.139.
link(9,91) :- #0.498.
link(91,9) :- #0.894.
link(9,93) :- #0.416.
link(93,9) :- #0.8.
link(9,96) :- #0.612.
link(96,9) :- #0.394.
link(9,125) :- #0.486.
link(125,9) :- #0.086.
link(9,127) :- #0.468.
link(127,9) :- #0.531.
link(9,130) :- #0.694.
link(130,9) :- #0.074.
link(10,24) :- #0.107.
link(24,10) :- #0.553.
link(10,31) :- #0.413.
link(31,10) :- #0.643.
link(10,35) :- #0.534.
link(35,10) :- #0.082.
link(10,46) :- #0.05.
link(46,10) :- #0.363.
link(10,60) :- #0.498.
link(60,10) :- #0.997.
link(10,73) :- #0.053.
link(73,10) :- #0.28.
link(10,90) :- #0.779.
link(90,10) :- #0.047.
link(10,124) :- #0.033.
link(124,10) :- #0.126.
link(10,129) :- #0.092.
link(129,10) :- #0.691.
link(11,30) :- #0.619.
link(30,11) :- #0.049.
link(11,63) :- #0.725.
link(63,11) :- #0.604.
link(11,73) :- #0.83.
link(73,11) :- #0.467.
link(11,78) :- #0.957.
link(78,11) :- #0.194.
link(11,83) :- #0.956.
link(83,11) :- #0.67.
link(11,90) :- #0.753.
link(90,11) :- #0.103.
link(11,96) :- #0.686.
link(96,11) :- #0.135.
link(11,106) :- #0.291.
link(106,11) :- #0.643.
link(11,130) :- #0.568.
link(130,11) :- #0.675.
link(12,14) :- #0.535.
link(14,12) :- #0.326.
link(12,17) :- #0.033.
link(17,12) :- #0.025.
link(12,21) :- #0.326.
link(21,12) :- #0.574.
link(12,43) :- #0.311.
link(43,12) :- #0.634.
link(12,44) :- #0.743.
link(44,12) :- #0.531.
link(12,70) :- #0.494.
link(70,12) :- #0.401.
link(12,86) :- #0.654.
link(86,12) :- #0.865.
link(12,105) :- #0.148.
link(105,12) :- #0.294.
link(12,116) :- #0.273.
link(116,12) :- #0.982.
link(12,118) :- #0.616.
link(118,12) :- #0.778.
link(12,119) :- #0.962.
link(119,12) :- #0.303.
link(12,121) :- #0.172.
link(121,12) :- #0.286.
link(12,126) :- #0.688.
link(126,12) :- #0.745.
link(12,134) :- #0.477.
link(134,12) :- #0.642.
link(12,139) :- #0.164.
link(139,12) :- #0.339.
link(13,14) :- #0.136.
link(14,13) :- #0.994.
link(13,21) :- #0.403.
link(21,13) :- #0.773.
link(13,35) :- #0.277.
link(35,13) :- #0.966.
link(13,37) :- #0.848.
link(37,13) :- #0.385.
link(13,48) :- #0.906.
link(48,13) :- #0.045.
link(13,51) :- #0.358.
link(51,13) :- #0.927.
link(13,52) :- #0.652.
link(52,13) :- #0.787.
link(13,56) :- #0.74.
link(56,13) :- #0.622.
link(13,63) :- #0.555.
link(63,13) :- #0.858.
link(13,64) :- #0.614.
link(64,13) :- #0.407.
link(13,65) :- #0.728.
link(65,13) :- #0.932.
link(13,68) :- #0.641.
link(68,13) :- #0.644.
link(13,85) :- #0.321.
link(85,13) :- #0.641.
link(13,100) :- #0.295.
link(100,13) :- #0.224.
link(13,112) :- #0.867.
link(112,13) :- #0.361.
link(13,135) :- #0.919.
link(135,13) :- #0.442.
link(14,23) :- #0.273.
link(23,14) :- #0.261.
link(14,27) :- #0.831.
link(27,14) :- #0.77.
link(14,28) :- #0.627.
link(28,14) :- #0.503.
link(14,29) :- #0.143.
link(29,14) :- #0.146.
link(14,57) :- #0.333.
link(57,14) :- #0.436.
link(14,58) :- #0.251.
link(58,14) :- #0.233.
link(14,59) :- #0.755.
link(59,14) :- #0.367.
link(14,62) :- #0.939.
link(62,14) :- #0.692.
link(14,70) :- #0.243.
link(70,14) :- #0.757.
link(14,75) :- #0.597.
link(75,14) :- #0.609.
link(14,89) :- #0.872.
link(89,14) :- #0.192.
link(14,97) :- #0.45.
link(97,14) :- #0.044.
link(14,115) :- #0.185.
link(115,14) :- #0.195.
link(14,118) :- #0.181.
link(118,14) :- #0.305.
link(14,121) :- #0.12.
link(121,14) :- #0.888.
link(14,125) :- #0.07.
link(125,14) :- #0.929.
link(15,37) :- #0.015.
link(37,15) :- #0.822.
link(15,46) :- #0.493.
link(46,15) :- #0.906.
link(15,80) :- #0.23.
link(80,15) :- #0.543.
link(15,82) :- #0.256.
link(82,15) :- #0.062.
link(15,86) :- #0.487.
link(86,15) :- #0.685.
link(15,91) :- #0.076.
link(91,15) :- #0.467.
link(15,101) :- #0.348.
link(101,15) :- #0.823.
link(15,107) :- #0.321.
link(107,15) :- #0.712.
link(15,108) :- #0.434.
link(108,15) :- #0.961.
link(15,110) :- #0.533.
link(110,15) :- #0.851.
link(16,23) :- #0.49.
link(23,16) :- #0.192.
link(16,30) :- #0.048.
link(30,16) :- #0.085.
link(16,31) :- #0.593.
link(31,16) :- #0.72.
link(16,51) :- #0.208.
link(51,16) :- #0.979.
link(16,54) :- #0.671.
link(54,16) :- #0.473.
link(16,64) :- #0.88.
link(64,16) :- #0.378.
link(16,70) :- #0.647.
link(70,16) :- #0.925.
link(16,83) :- #0.699.
link(83,16) :- #0.564.
link(16,93) :- #0.608.
link(93,16) :- #0.456.
link(16,99) :- #0.194.
link(99,16) :- #0.594.
link(16,108) :- #0.103.
link(108,16) :- #0.549.
link(16,119) :- #0.568.
link(119,16) :- #0.831.
link(16,123) :- #0.372.
link(123,16) :- #0.898.
link(16,132) :- #0.899.
link(132,16) :- #0.122.
link(16,134) :- #0.838.
link(134,16) :- #0.041.
link(16,135) :- #0.051.
link(135,16) :- #0.987.
link(16,140) :- #0.549.
link(140,16) :- #0.511.
link(17,41) :- #0.145.
link(41,17) :- #0.901.
link(17,42) :- #0.477.
link(42,17) :- #0.7.
link(17,50) :- #0.562.
link(50,17) :- #0.694.
link(17,52) :- #0.249.
link(52,17) :- #0.25.
link(17,61) :- #0.493.
link(61,17) :- #0.449.
link(17,85) :- #0.306.
link(85,17) :- #0.919.
link(17,94) :- #0.078.
link(94,17) :- #0.606.
link(17,110) :- #0.781.
link(110,17) :- #0.491.
link(17,113) :- #0.253.
link(113,17) :- #0.416.
link(17,115) :- #0.065.
link(115,17) :- #0.67.
link(17,127) :- #0.251.
link(127,17) :- #0.132.
link(17,129) :- #0.941.
link(129,17) :- #0.519.
link(17,131) :- #0.059.
link(131,17) :- #0.37.
link(18,19) :- #0.815.
link(19,18) :- #0.032.
link(18,39) :- #0.226.
link(39,18) :- #0.899.
link(18,66) :- #0.626.
link(66,18) :- #0.048.
link(18,70) :- #0.936.
link(70,18) :- #0.42.
link(18,86) :- #0.047.
link(86,18) :- #0.082.
link(18,92) :- #0.709.
link(92,18) :- #0.089.
link(18,100) :- #0.926.
link(100,18) :- #0.381.
link(18,108) :- #0.28.
link(108,18) :- #0.935.
link(18,112) :- #0.325.
link(112,18) :- #0.919.
link(18,122) :- #0.774.
link(122,18) :- #0.691.
link(18,131) :- #0.938.
link(131,18) :- #0.224.
link(19,24) :- #0.177.
link(24,19) :- #0.06.
link(19,42) :- #0.07.
link(42,19) :- #0.193.
link(19,46) :- #0.273.
link(46,19) :- #0.957.
link(19,52) :- #0.293.
link(52,19) :- #0.089.
link(19,54) :- #0.439.
link(54,19) :- #0.934.
link(19,77) :- #0.529.
link(77,19) :- #0.029.
link(19,82) :- #0.477.
link(82,19) :- #0.811.
link(19,92) :- #0.793.
link(92,19) :- #0.67.
link(19,128) :- #0.607.
link(128,19) :- #0.542.
link(19,133) :- #0.583.
link(133,19) :- #0.879.
link(20,55) :- #0.753.
link(55,20) :- #0.738.
link(20,81) :- #0.601.
link(81,20) :- #0.609.
link(20,84) :- #0.882.
link(84,20) :- #0.887.
link(20,101) :- #0.816.
link(101,20) :- #0.444.
link(20,108) :- #0.669.
link(108,20) :- #0.715.
link(20,119) :- #0.168.
link(119,20) :- #0.544.
link(20,123) :- #0.644.
link(123,20) :- #0.752.
link(20,124) :- #0.164.
link(124,20) :- #0.478.
link(21,47) :- #0.901.
link(47,21) :- #0.104.
link(21,51) :- #0.423.
link(51,21) :- #0.426.
link(21,61) :- #0.771.
link(61,21) :- #0.66.
link(21,76) :- #0.58.
link(76,21) :- #0.996.
link(21,78) :- #0.73.
link(78,21) :- #0.988.
link(21,86) :- #0.806.
link(86,21) :- #0.656.
link(21,122) :- #0.437.
link(122,21) :- #0.76.
link(21,123) :- #0.332.
link(123,21) :- #0.116.
link(21,129) :- #0.682.
link(129,21) :- #0.385.
link(22,31) :- #0.398.
link(31,22) :- #0.723.
link(22,41) :- #0.467.
link(41,22) :- #0.294.
link(22,67) :- #0.988.
link(67,22) :- #0.529.
link(22,71) :- #0.117.
link(71,22) :- #0.884.
link(22,76) :- #0.728.
link(76,22) :- #0.666.
link(22,102) :- #0.597.
link(102,22) :- #0.948.
link(22,104) :- #0.636.
link(104,22) :- #0.403.
link(22,116) :- #0.155.
link(116,22) :- #0.759.
link(23,39) :- #0.878.
link(39,23) :- #0.871.
link(23,70) :- #0.175.
link(70,23) :- #0.92.
link(23,75) :- #0.636.
link(75,23) :- #0.305.
link(23,88) :- #0.357.
link(88,23) :- #0.307.
link(23,91) :- #0.094.
link(91,23) :- #0.415.
link(23,96) :- #0.966.
link(96,23) :- #0.724.
link(23,108) :- #0.023.
link(108,23) :- #0.62.
link(23,126) :- #0.013.
link(126,23) :- #0.198.
link(24,43) :- #0.497.
link(43,24) :- #0.424.
link(24,60) :- #0.695.
link(60,24) :- #0.833.
link(24,66) :- #0.707.
link(66,24) :- #0.812.
link(24,67) :- #0.706.
link(67,24) :- #0.913.
link(24,78) :- #0.376.
link(78,24) :- #0.688.
link(24,97) :- #0.891.
link(97,24) :- #0.048.
link(24,129) :- #0.773.
link(129,24) :- #0.775.
link(24,135) :- #0.081.
link(135,24) :- #0.936.
link(24,138) :- #0.245.
link(138,24) :- #0.054.
link(25,27) :- #0.414.
link(27,25) :- #0.084.
link(25,29) :- #0.546.
link(29,25) :- #0.488.
link(25,32) :- #0.377.
link(32,25) :- #0.211.
link(25,43) :- #0.047.
link(43,25) :- #0.998.
link(25,49) :- #0.76.
link(49,25) :- #0.242.
link(25,69) :- #0.497.
link(69,25) :- #0.167.
link(26,52) :- #0.328.
link(52,26) :- #0.515.
link(26,63) :- #0.89.
link(63,26) :- #0.118.
link(26,66) :- #0.882.
link(66,26) :- #0.19.
link(26,79) :- #0.79.
link(79,26) :- #0.088.
link(26,81) :- #0.529.
link(81,26) :- #0.86.
link(26,84) :- #0.244.
link(84,26) :- #0.181.
link(26,89) :- #0.783.
link(89,26) :- #0.81.
link(26,93) :- #0.989.
link(93,26) :- #0.328.
link(26,94) :- #0.181.
link(94,26) :- #0.669.
link(26,100) :- #0.804.
link(100,26) :- #0.817.
link(26,101) :- #0.602.
link(101,26) :- #0.804.
link(26,105) :- #0.442.
link(105,26) :- #0.728.
link(26,109) :- #0.433.
link(109,26) :- #0.54.
link(26,110) :- #0.107.
link(110,26) :- #0.893.
link(26,113) :- #0.248.
link(113,26) :- #0.231.
link(26,127) :- #0.943.
link(127,26) :- #0.471.
link(26,130) :- #0.21.
link(130,26) :- #0.604.
link(27,38) :- #0.562.
link(38,27) :- #0.101.
link(27,46) :- #0.883.
link(46,27) :- #0.444.
link(27,53) :- #0.543.
link(53,27) :- #0.84.
link(27,60) :- #0.489.
link(60,27) :- #0.081.
link(27,74) :- #0.766.
link(74,27) :- #0.311.
link(27,75) :- #0.752.
link(75,27) :- #0.959.
link(27,77) :- #0.801.
link(77,27) :- #0.83.
link(27,89) :- #0.473.
link(89,27) :- #0.449.
link(27,106) :- #0.856.
link(106,27) :- #0.805.
link(27,118) :- #0.877.
link(118,27) :- #0.626.
link(27,139) :- #0.332.
link(139,27) :- #0.552.
link(28,35) :- #0.035.
link(35,28) :- #0.744.
link(28,66) :- #0.158.
link(66,28) :- #0.602.
link(28,75) :- #0.142.
link(75,28) :- #0.099.
link(28,76) :- #0.257.
link(76,28) :- #0.519.
link(28,120) :- #0.068.
link(120,28) :- #0.914.
link(29,41) :- #0.595.
link(41,29) :- #0.668.
link(29,50) :- #0.168.
link(50,29) :- #0.014.
link(29,66) :- #0.034.
link(66,29) :- #0.241.
link(29,72) :- #0.107.
link(72,29) :- #0.821.
link(29,73) :- #0.159.
link(73,29) :- #0.997.
link(29,84) :- #0.147.
link(84,29) :- #0.475.
link(29,86) :- #0.186.
link(86,29) :- #0.778.
link(29,90) :- #0.708.
link(90,29) :- #0.432.
link(29,99) :- #0.235.
link(99,29) :- #0.208.
link(29,127) :- #0.516.
link(127,29) :- #0.405.
link(29,130) :- #0.68.
link(130,29) :- #0.265.
link(29,133) :- #0.577.
link(133,29) :- #0.97.
link(29,135) :- #0.718.
link(135,29) :- #0.505.
link(30,35) :- #0.947.
link(35,30) :- #0.076.
link(30,38) :- #0.01.
link(38,30) :- #0.758.
link(30,44) :- #0.357.
link(44,30) :- #0.344.
link(30,65) :- #0.704.
link(65,30) :- #0.623.
link(30,78) :- #0.62.
link(78,30) :- #0.68.
link(30,93) :- #0.599.
link(93,30) :- #0.132.
link(30,101) :- #0.363.
link(101,30) :- #0.928.
link(30,106) :- #0.952.
link(106,30) :- #0.612.
link(30,114) :- #0.17.
link(114,30) :- #0.085.
link(30,115) :- #0.786.
link(115,30) :- #0.195.
link(30,116) :- #0.226.
link(116,30) :- #0.881.
link(30,121) :- #0.484.
link(121,30) :- #0.168.
link(30,129) :- #0.025.
link(129,30) :- #0.044.
link(30,130) :- #0.472.
link(130,30) :- #0.597.
link(30,137) :- #0.613.
link(137,30) :- #0.532.
link(30,138) :- #0.43.
link(138,30) :- #0.512.
link(31,38) :- #0.043.
link(38,31) :- #0.983.
link(31,40) :- #0.521.
link(40,31) :- #0.628.
link(31,43) :- #0.697.
link(43,31) :- #0.006.
link(31,58) :- #0.691.
link(58,31) :- #0.704.
link(31,65) :- #0.526.
link(65,31) :- #0.163.
link(31,66) :- #0.1.
link(66,31) :- #0.465.
link(31,68) :- #0.051.
link(68,31) :- #0.197.
link(31,76) :- #0.064.
link(76,31) :- #0.702.
link(31,85) :- #0.696.
link(85,31) :- #0.436.
link(31,89) :- #0.487.
link(89,31) :- #0.023.
link(31,99) :- #0.953.
link(99,31) :- #0.379.
link(31,121) :- #0.224.
link(121,31) :- #0.347.
link(31,122) :- #0.676.
link(122,31) :- #0.05.
link(31,125) :- #0.276.
link(125,31) :- #0.072.
link(31,126) :- #0.916.
link(126,31) :- #0.258.
link(31,127) :- #0.359.
link(127,31) :- #0.993.
link(31,131) :- #0.855.
link(131,31) :- #0.944.
link(31,135) :- #0.561.
link(135,31) :- #0.941.
link(32,43) :- #0.383.
link(43,32) :- #0.998.
link(32,47) :- #0.333.
link(47,32) :- #0.421.
link(32,57) :- #0.285.
link(57,32) :- #0.779.
link(32,66) :- #0.407.
link(66,32) :- #0.728.
link(32,67) :- #0.152.
link(67,32) :- #0.849.
link(32,77) :- #0.937.
link(77,32) :- #0.261.
link(32,80) :- #0.411.
link(80,32) :- #0.471.
link(32,92) :- #0.855.
link(92,32) :- #0.619.
link(32,95) :- #0.051.
link(95,32) :- #0.286.
link(32,106) :- #0.176.
link(106,32) :- #0.153.
link(32,108) :- #0.997.
link(108,32) :- #0.403.
link(32,118) :- #0.781.
link(118,32) :- #0.604.
link(32,124) :- #0.799.
link(124,32) :- #0.216.
link(33,35) :- #0.58.
link(35,33) :- #0.504.
link(33,36) :- #0.602.
link(36,33) :- #0.538.
link(33,38) :- #0.153.
link(38,33) :- #0.61.
link(33,53) :- #0.789.
link(53,33) :- #0.675.
link(33,58) :- #0.19.
link(58,33) :- #0.794.
link(33,84) :- #0.321.
link(84,33) :- #0.647.
link(33,85) :- #0.624.
link(85,33) :- #0.834.
link(33,92) :- #0.731.
link(92,33) :- #0.632.
link(33,94) :- #0.217.
link(94,33) :- #0.024.
link(33,99) :- #0.799.
link(99,33) :- #0.484.
link(33,103) :- #0.937.
link(103,33) :- #0.84.
link(33,110) :- #0.705.
link(110,33) :- #0.953.
link(33,120) :- #0.381.
link(120,33) :- #0.123.
link(33,123) :- #0.731.
link(123,33) :- #0.242.
link(33,126) :- #0.335.
link(126,33) :- #0.816.
link(33,131) :- #0.203.
link(131,33) :- #0.321.
link(33,133) :- #0.58.
link(133,33) :- #0.788.
link(33,136) :- #0.132.
link(136,33) :- #0.891.
link(34,35) :- #0.997.
link(35,34) :- #0.226.
link(34,55) :- #0.167.
link(55,34) :- #0.929.
link(34,88) :- #0.84.
link(88,34) :- #0.509.
link(34,124) :- #0.695.
link(124,34) :- #0.983.
link(34,139) :- #0.558.
link(139,34) :- #0.99.
link(35,46) :- #0.847.
link(46,35) :- #0.052.
link(35,49) :- #0.487.
link(49,35) :- #0.305.
link(35,64) :- #0.448.
link(64,35) :- #0.373.
link(35,69) :- #0.928.
link(69,35) :- #0.231.
link(35,80) :- #0.558.
link(80,35) :- #0.187.
link(35,86) :- #0.082.
link(86,35) :- #0.978.
link(35,89) :- #0.743.
link(89,35) :- #0.872.
link(35,99) :- #0.965.
link(99,35) :- #0.576.
link(35,102) :- #0.064.
link(102,35) :- #0.316.
link(35,107) :- #0.945.
link(107,35) :- #0.564.
link(35,109) :- #0.334.
link(109,35) :- #0.217.
link(35,112) :- #0.001.
link(112,35) :- #0.978.
link(35,131) :- #0.346.
link(131,35) :- #0.971.
link(35,137) :- #0.039.
link(137,35) :- #0.986.
link(36,46) :- #0.939.
link(46,36) :- #0.937.
link(36,71) :- #0.918.
link(71,36) :- #0.035.
link(36,75) :- #0.99.
link(75,36) :- #0.236.
link(36,76) :- #0.549.
link(76,36) :- #0.865.
link(36,83) :- #0.196.
link(83,36) :- #0.588.
link(36,88) :- #0.198.
link(88,36) :- #0.812.
link(36,92) :- #0.292.
link(92,36) :- #0.479.
link(36,94) :- #0.783.
link(94,36) :- #0.822.
link(36,107) :- #0.384.
link(107,36) :- #0.576.
link(36,116) :- #0.383.
link(116,36) :- #0.261.
link(36,130) :- #0.44.
link(130,36) :- #0.637.
link(36,140) :- #0.864.
link(140,36) :- #0.605.
link(37,60) :- #0.635.
link(60,37) :- #0.287.
link(37,73) :- #0.428.
link(73,37) :- #0.427.
link(37,76) :- #0.815.
link(76,37) :- #0.116.
link(37,84) :- #0.312.
link(84,37) :- #0.85.
link(37,87) :- #0.583.
link(87,37) :- #0.518.
link(37,91) :- #0.757.
link(91,37) :- #0.748.
link(37,104) :- #0.533.
link(104,37) :- #0.92.
link(37,128) :- #0.763.
link(128,37) :- #0.322.
link(37,130) :- #0.603.
link(130,37) :- #0.261.
link(37,137) :- #0.182.
link(137,37) :- #0.956.
link(38,44) :- #0.848.
link(44,38) :- #0.471.
link(38,45) :- #0.992.
link(45,38) :- #0.014.
link(38,51) :- #0.822.
link(51,38) :- #0.76.
link(38,52) :- #0.489.
link(52,38) :- #0.243.
link(38,67) :- #0.909.
link(67,38) :- #0.658.
link(38,96) :- #0.921.
link(96,38) :- #0.597.
link(38,98) :- #0.08.
link(98,38) :- #0.357.
link(38,111) :- #0.161.
link(111,38) :- #0.623.
link(38,113) :- #0.708.
link(113,38) :- #0.074.
link(38,116) :- #0.464.
link(116,38) :- #0.317.
link(38,127) :- #0.895.
link(127,38) :- #0.07.
link(39,57) :- #0.653.
link(57,39) :- #0.636.
link(39,69) :- #0.706.
link(69,39) :- #0.072.
link(39,95) :- #0.923.
link(95,39) :- #0.586.
link(39,101) :- #0.261.
link(101,39) :- #0.035.
link(39,137) :- #0.636.
link(137,39) :- #0.874.
link(39,140) :- #0.797.
link(140,39) :- #0.194.
link(40,59) :- #0.13.
link(59,40) :- #0.193.
link(40,67) :- #0.813.
link(67,40) :- #0.9.
link(40,90) :- #0.853.
link(90,40) :- #0.094.
link(40,110) :- #0.746.
link(110,40) :- #0.804.
link(41,65) :- #0.694.
link(65,41) :- #0.286.
link(41,91) :- #0.491.
link(91,41) :- #0.016.
link(41,96) :- #0.569.
link(96,41) :- #0.073.
link(41,100) :- #0.184.
link(100,41) :- #0.242.
link(41,101) :- #0.517.
link(101,41) :- #0.988.
link(41,104) :- #0.332.
link(104,41) :- #0.821.
link(41,108) :- #0.123.
link(108,41) :- #0.688.
link(42,60) :- #0.584.
link(60,42) :- #0.633.
link(42,67) :- #0.203.
link(67,42) :- #0.835.
link(42,70) :- #0.432.
link(70,42) :- #0.081.
link(42,75) :- #0.753.
link(75,42) :- #0.188.
link(42,76) :- #0.353.
link(76,42) :- #0.542.
link(42,112) :- #0.123.
link(112,42) :- #0.967.
link(43,60) :- #0.446.
link(60,43) :- #0.81.
link(43,70) :- #0.691.
link(70,43) :- #0.019.
link(43,74) :- #0.356.
link(74,43) :- #0.059.
link(43,76) :- #0.656.
link(76,43) :- #0.406.
link(43,77) :- #0.209.
link(77,43) :- #0.499.
link(43,85) :- #0.501.
link(85,43) :- #0.053.
link(43,99) :- #0.698.
link(99,43) :- #0.506.
link(43,101) :- #0.574.
link(101,43) :- #0.558.
link(43,107) :- #0.186.
link(107,43) :- #0.999.
link(43,113) :- #0.783.
link(113,43) :- #0.602.
link(43,122) :- #0.602.
link(122,43) :- #0.902.
link(43,128) :- #0.634.
link(128,43) :- #0.531.
link(43,136) :- #0.517.
link(136,43) :- #0.808.
link(44,69) :- #0.648.
link(69,44) :- #0.112.
link(44,70) :- #0.527.
link(70,44) :- #0.517.
link(44,78) :- #0.164.
link(78,44) :- #0.76.
link(44,85) :- #0.337.
link(85,44) :- #0.731.
link(44,99) :- #0.828.
link(99,44) :- #0.005.
link(44,100) :- #0.485.
link(100,44) :- #0.339.
link(44,104) :- #0.871.
link(104,44) :- #0.898.
link(44,108) :- #0.923.
link(108,44) :- #0.919.
link(44,118) :- #0.884.
link(118,44) :- #0.77.
link(44,122) :- #0.667.
link(122,44) :- #0.034.
link(44,123) :- #0.115.
link(123,44) :- #0.924.
link(44,125) :- #0.954.
link(125,44) :- #0.015.
link(45,48) :- #0.74.
link(48,45) :- #0.993.
link(45,54) :- #0.086.
link(54,45) :- #0.033.
link(45,56) :- #0.648.
link(56,45) :- #0.961.
link(45,86) :- #0.863.
link(86,45) :- #0.763.
link(45,97) :- #0.697.
link(97,45) :- #0.718.
link(45,99) :- #0.931.
link(99,45) :- #0.716.
link(45,104) :- #0.154.
link(104,45) :- #0.32.
link(46,59) :- #0.776.
link(59,46) :- #0.733.
link(46,68) :- #0.146.
link(68,46) :- #0.201.
link(46,85) :- #0.7.
link(85,46) :- #0.255.
link(46,96) :- #0.995.
link(96,46) :- #0.907.
link(46,100) :- #0.068.
link(100,46) :- #0.959.
link(46,103) :- #0.433.
link(103,46) :- #0.874.
link(46,125) :- #0.032.
link(125,46) :- #0.592.
link(47,55) :- #0.206.
link(55,47) :- #0.218.
link(47,56) :- #0.9.
link(56,47) :- #0.202.
link(47,58) :- #0.723.
link(58,47) :- #0.061.
link(47,71) :- #0.304.
link(71,47) :- #0.179.
link(47,90) :- #0.164.
link(90,47) :- #0.819.
link(47,97) :- #0.396.
link(97,47) :- #0.223.
link(47,103) :- #0.25.
link(103,47) :- #0.812.
link(48,49) :- #0.723.
link(49,48) :- #0.576.
link(48,61) :- #0.322.
link(61,48) :- #0.387.
link(48,78) :- #0.34.
link(78,48) :- #0.926.
link(48,82) :- #0.027.
link(82,48) :- #0.014.
link(48,87) :- #0.635.
link(87,48) :- #0.743.
link(48,89) :- #0.08.
link(89,48) :- #0.074.
link(48,109) :- #0.325.
link(109,48) :- #0.491.
link(48,116) :- #0.984.
link(116,48) :- #0.811.
link(48,117) :- #0.216.
link(117,48) :- #0.845.
link(48,121) :- #0.145.
link(121,48) :- #0.237.
link(48,129) :- #0.328.
link(129,48) :- #0.64.
link(48,130) :- #0.459.
link(130,48) :- #0.24.
link(48,134) :- #0.534.
link(134,48) :- #0.746.
link(49,57) :- #0.726.
link(57,49) :- #0.324.
link(49,58) :- #0.587.
link(58,49) :- #0.979.
link(49,62) :- #0.197.
link(62,49) :- #0.9.
link(49,68) :- #0.199.
link(68,49) :- #0.876.
link(49,102) :- #0.513.
link(102,49) :- #0.02.
link(49,126) :- #0.459.
link(126,49) :- #0.003.
link(50,55) :- #0.278.
link(55,50) :- #0.428.
link(50,58) :- #0.507.
link(58,50) :- #0.084.
link(50,61) :- #0.671.
link(61,50) :- #0.6.
link(50,63) :- #0.68.
link(63,50) :- #0.649.
link(50,69) :- #0.928.
link(69,50) :- #0.531.
link(50,71) :- #0.971.
link(71,50) :- #0.175.
link(50,86) :- #0.026.
link(86,50) :- #0.793.
link(50,103) :- #0.07.
link(103,50) :- #0.526.
link(50,136) :- #0.776.
link(136,50) :- #0.321.
link(51,57) :- #0.654.
link(57,51) :- #0.291.
link(51,64) :- #0.192.
link(64,51) :- #0.369.
link(51,67) :- #0.253.
link(67,51) :- #0.812.
link(51,70) :- #0.907.
link(70,51) :- #0.756.
link(51,115) :- #0.528.
link(115,51) :- #0.983.
link(51,116) :- #0.656.
link(116,51) :- #0.088.
link(51,131) :- #0.436.
link(131,51) :- #0.586.
link(51,138) :- #0.046.
link(138,51) :- #0.053.
link(52,55) :- #0.408.
link(55,52) :- #0.796.
link(52,74) :- #0.711.
link(74,52) :- #0.609.
link(52,78) :- #0.588.
link(78,52) :- #0.831.
link(52,113) :- #0.27.
link(113,52) :- #0.038.
link(52,116) :- #0.626.
link(116,52) :- #0.494.
link(52,131) :- #0.736.
link(131,52) :- #0.466.
link(53,57) :- #0.67.
link(57,53) :- #0.628.
link(53,61) :- #0.953.
link(61,53) :- #0.537.
link(53,69) :- #0.754.
link(69,53) :- #0.545.
link(53,101) :- #0.478.
link(101,53) :- #0.211.
link(53,105) :- #0.689.
link(105,53) :- #0.155.
link(53,111) :- #0.023.
link(111,53) :- #0.08.
link(54,69) :- #0.132.
link(69,54) :- #0.367.
link(54,83) :- #0.91.
link(83,54) :- #0.416.
link(54,89) :- #0.429.
link(89,54) :- #0.896.
link(54,107) :- #0.226.
link(107,54) :- #0.384.
link(54,108) :- #0.857.
link(108,54) :- #0.912.
link(54,125) :- #0.744.
link(125,54) :- #0.287.
link(54,128) :- #0.697.
link(128,54) :- #0.151.
link(54,135) :- #0.792.
link(135,54) :- #0.29.
link(55,56) :- #0.222.
link(56,55) :- #0.571.
link(55,81) :- #0.873.
link(81,55) :- #0.271.
link(55,90) :- #0.784.
link(90,55) :- #0.295.
link(55,92) :- #0.806.
link(92,55) :- #0.136.
link(55,102) :- #0.264.
link(102,55) :- #0.055.
link(55,114) :- #0.844.
link(114,55) :- #0.188.
link(55,118) :- #0.629.
link(118,55) :- #0.456.
link(55,122) :- #0.62.
link(122,55) :- #0.769.
link(55,128) :- #0.207.
link(128,55) :- #0.854.
link(55,129) :- #0.984.
link(129,55) :- #0.095.
link(55,132) :- #0.888.
link(132,55) :- #0.233.
link(55,135) :- #0.848.
link(135,55) :- #0.795.
link(55,137) :- #0.127.
link(137,55) :- #0.123.
link(56,65) :- #0.922.
link(65,56) :- #0.307.
link(56,80) :- #0.674.
link(80,56) :- #0.831.
link(56,83) :- #0.833.
link(83,56) :- #0.95.
link(56,96) :- #0.054.
link(96,56) :- #0.352.
link(56,107) :- #0.09.
link(107,56) :- #0.733.
link(56,127) :- #0.278.
link(127,56) :- #0.534.
link(56,129) :- #0.012.
link(129,56) :- #0.914.
link(56,131) :- #0.099.
link(131,56) :- #0.973.
link(56,140) :- #0.241.
link(140,56) :- #0.979.
link(57,62) :- #0.543.
link(62,57) :- #0.725.
link(57,76) :- #0.237.
link(76,57) :- #0.266.
link(57,77) :- #0.898.
link(77,57) :- #0.147.
link(57,90) :- #0.129.
link(90,57) :- #0.45.
link(57,95) :- #0.947.
link(95,57) :- #0.779.
link(57,99) :- #0.96.
link(99,57) :- #0.748.
link(57,107) :- #0.843.
link(107,57) :- #0.319.
link(57,136) :- #0.301.
link(136,57) :- #0.044.
link(57,140) :- #0.598.
link(140,57) :- #0.033.
link(58,61) :- #0.183.
link(61,58) :- #0.474.
link(58,70) :- #0.092.
link(70,58) :- #0.79.
link(58,71) :- #0.365.
link(71,58) :- #0.876.
link(58,95) :- #0.54.
link(95,58) :- #0.661.
link(58,102) :- #0.17.
link(102,58) :- #0.225.
link(58,113) :- #0.331.
link(113,58) :- #0.457.
link(59,68) :- #0.199.
link(68,59) :- #0.896.
link(59,75) :- #0.764.
link(75,59) :- #0.772.
link(59,76) :- #0.254.
link(76,59) :- #0.521.
link(59,78) :- #0.606.
link(78,59) :- #0.089.
link(59,85) :- #0.312.
link(85,59) :- #0.17.
link(59,116) :- #0.279.
link(116,59) :- #0.215.
link(59,119) :- #0.499.
link(119,59) :- #0.73.
link(59,121) :- #0.344.
link(121,59) :- #0.992.
link(59,127) :- #0.959.
link(127,59) :- #0.071.
link(59,135) :- #0.443.
link(135,59) :- #0.631.
link(60,72) :- #0.592.
link(72,60) :- #0.064.
link(60,83) :- #0.809.
link(83,60) :- #0.68.
link(60,96) :- #0.7.
link(96,60) :- #0.618.
link(60,98) :- #0.5.
link(98,60) :- #0.009.
link(60,102) :- #0.103.
link(102,60) :- #0.968.
link(60,104) :- #0.874.
link(104,60) :- #0.21.
link(60,106) :- #0.775.
link(106,60) :- #0.71.
link(60,108) :- #0.945.
link(108,60) :- #0.642.
link(60,121) :- #0.152.
link(121,60) :- #0.047.
link(60,124) :- #0.952.
link(124,60) :- #0.187.
link(60,125) :- #0.059.
link(125,60) :- #0.094.
link(60,138) :- #0.898.
link(138,60) :- #0.651.
link(61,71) :- #0.643.
link(71,61) :- #0.404.
link(61,72) :- #0.32.
link(72,61) :- #0.027.
link(61,91) :- #0.391.
link(91,61) :- #0.441.
link(61,93) :- #0.141.
link(93,61) :- #0.426.
link(61,115) :- #0.385.
link(115,61) :- #0.948.
link(61,116) :- #0.894.
link(116,61) :- #0.991.
link(61,136) :- #0.742.
link(136,61) :- #0.076.
link(62,68) :- #0.85.
link(68,62) :- #0.208.
link(62,69) :- #0.893.
link(69,62) :- #0.036.
link(62,73) :- #0.692.
link(73,62) :- #0.648.
link(62,76) :- #0.045.
link(76,62) :- #0.515.
link(62,87) :- #0.356.
link(87,62) :- #0.74.
link(62,93) :- #0.123.
link(93,62) :- #0.57.
link(62,96) :- #0.873.
link(96,62) :- #0.892.
link(62,100) :- #0.484.
link(100,62) :- #0.165.
link(62,112) :- #0.43.
link(112,62) :- #0.378.
link(62,113) :- #0.161.
link(113,62) :- #0.497.
link(62,139) :- #0.215.
link(139,62) :- #0.372.
link(62,140) :- #0.723.
link(140,62) :- #0.253.
link(63,69) :- #0.725.
link(69,63) :- #0.307.
link(63,80) :- #0.697.
link(80,63) :- #0.526.
link(63,89) :- #0.37.
link(89,63) :- #0.213.
link(63,117) :- #0.828.
link(117,63) :- #0.287.
link(63,122) :- #0.977.
link(122,63) :- #0.53.
link(63,126) :- #0.163.
link(126,63) :- #0.752.
link(63,138) :- #0.027.
link(138,63) :- #0.19.
link(64,74) :- #0.647.
link(74,64) :- #0.123.
link(64,85) :- #0.502.
link(85,64) :- #0.14.
link(64,96) :- #0.544.
link(96,64) :- #0.776.
link(64,102) :- #0.375.
link(102,64) :- #0.121.
link(64,105) :- #0.982.
link(105,64) :- #0.036.
link(64,111) :- #0.332.
link(111,64) :- #0.932.
link(64,114) :- #0.244.
link(114,64) :- #0.892.
link(64,119) :- #0.899.
link(119,64) :- #0.081.
link(64,121) :- #0.219.
link(121,64) :- #0.009.
link(64,133) :- #0.06.
link(133,64) :- #0.841.
link(64,134) :- #0.823.
link(134,64) :- #0.854.
link(64,136) :- #0.596.
link(136,64) :- #0.196.
link(64,140) :- #0.965.
link(140,64) :- #0.831.
link(65,69) :- #0.101.
link(69,65) :- #0.8.
link(65,71) :- #0.09.
link(71,65) :- #0.764.
link(65,76) :- #0.14.
link(76,65) :- #0.186.
link(65,87) :- #0.881.
link(87,65) :- #0.499.
link(65,97) :- #0.58.
link(97,65) :- #0.595.
link(65,98) :- #0.824.
link(98,65) :- #0.663.
link(65,103) :- #0.42.
link(103,65) :- #0.548.
link(65,107) :- #0.104.
link(107,65) :- #0.841.
link(65,115) :- #0.569.
link(115,65) :- #0.978.
link(66,77) :- #0.329.
link(77,66) :- #0.462.
link(66,88) :- #0.117.
link(88,66) :- #0.242.
link(66,100) :- #0.587.
link(100,66) :- #0.246.
link(66,107) :- #0.649.
link(107,66) :- #0.823.
link(66,115) :- #0.171.
link(115,66) :- #0.973.
link(66,116) :- #0.671.
link(116,66) :- #0.001.
link(66,117) :- #0.224.
link(117,66) :- #0.869.
link(66,120) :- #0.117.
link(120,66) :- #0.377.
link(66,138) :- #0.659.
link(138,66) :- #0.92.
link(67,70) :- #0.081.
link(70,67) :- #0.967.
link(67,79) :- #0.854.
link(79,67) :- #0.727.
link(67,82) :- #0.27.
link(82,67) :- #0.735.
link(67,84) :- #0.102.
link(84,67) :- #0.982.
link(67,120) :- #0.466.
link(120,67) :- #0.141.
link(67,121) :- #0.109.
link(121,67) :- #0.624.
link(67,130) :- #0.257.
link(130,67) :- #0.505.
link(68,69) :- #0.407.
link(69,68) :- #0.111.
link(68,90) :- #0.196.
link(90,68) :- #0.28.
link(68,91) :- #0.593.
link(91,68) :- #0.962.
link(68,128) :- #0.022.
link(128,68) :- #0.244.
link(68,131) :- #0.34.
link(131,68) :- #0.597.
link(68,132) :- #0.728.
link(132,68) :- #0.253.
link(69,79) :- #0.069.
link(79,69) :- #0.092.
link(69,99) :- #0.655.
link(99,69) :- #0.691.
link(69,100) :- #0.653.
link(100,69) :- #0.616.
link(69,112) :- #0.974.
link(112,69) :- #0.529.
link(69,117) :- #0.177.
link(117,69) :- #0.014.
link(69,126) :- #0.347.
link(126,69) :- #0.955.
link(69,129) :- #0.319.
link(129,69) :- #0.283.
link(69,132) :- #0.143.
link(132,69) :- #0.448.
link(69,135) :- #0.689.
link(135,69) :- #0.929.
link(70,78) :- #0.75.
link(78,70) :- #0.845.
link(70,85) :- #0.322.
link(85,70) :- #0.548.
link(70,96) :- #0.528.
link(96,70) :- #0.141.
link(70,125) :- #0.465.
link(125,70) :- #0.326.
link(70,127) :- #0.214.
link(127,70) :- #0.225.
link(71,78) :- #0.804.
link(78,71) :- #0.638.
link(71,79) :- #0.626.
link(79,71) :- #0.494.
link(71,84) :- #0.104.
link(84,71) :- #0.077.
link(71,89) :- #0.83.
link(89,71) :- #0.861.
link(71,90) :- #0.885.
link(90,71) :- #0.113.
link(71,113) :- #0.319.
link(113,71) :- #0.34.
link(71,127) :- #0.713.
link(127,71) :- #0.229.
link(72,80) :- #0.641.
link(80,72) :- #0.494.
link(72,106) :- #0.144.
link(106,72) :- #0.05.
link(72,123) :- #0.583.
link(123,72) :- #0.152.
link(72,126) :- #0.367.
link(126,72) :- #0.049.
link(72,135) :- #0.69.
link(135,72) :- #0.002.
link(73,74) :- #0.56.
link(74,73) :- #0.277.
link(73,79) :- #0.327.
link(79,73) :- #0.856.
link(73,90) :- #0.61.
link(90,73) :- #0.167.
link(73,114) :- #0.817.
link(114,73) :- #0.373.
link(73,117) :- #0.712.
link(117,73) :- #0.082.
link(73,121) :- #0.534.
link(121,73) :- #0.047.
link(73,126) :- #0.755.
link(126,73) :- #0.556.
link(73,132) :- #0.214.
link(132,73) :- #0.869.
link(73,134) :- #0.167.
link(134,73) :- #0.329.
link(73,138) :- #0.819.
link(138,73) :- #0.781.
link(73,139) :- #0.875.
link(139,73) :- #0.474.
link(74,93) :- #0.814.
link(93,74) :- #0.207.
link(74,108) :- #0.27.
link(108,74) :- #0.446.
link(74,127) :- #0.885.
link(127,74) :- #0.361.
link(74,134) :- #0.082.
link(134,74) :- #0.44.
link(74,137) :- #0.519.
link(137,74) :- #0.8.
link(75,94) :- #0.02.
link(94,75) :- #0.313.
link(75,117) :- #0.143.
link(117,75) :- #0.979.
link(75,119) :- #0.124.
link(119,75) :- #0.754.
link(75,121) :- #0.118.
link(121,75) :- #0.088.
link(75,124) :- #0.302.
link(124,75) :- #0.715.
link(75,130) :- #0.91.
link(130,75) :- #0.877.
link(75,140) :- #0.369.
link(140,75) :- #0.09.
link(76,103) :- #0.507.
link(103,76) :- #0.802.
link(76,109) :- #0.514.
link(109,76) :- #0.605.
link(76,116) :- #0.219.
link(116,76) :- #0.714.
link(76,130) :- #0.979.
link(130,76) :- #0.194.
link(76,134) :- #0.481.
link(134,76) :- #0.533.
link(76,138) :- #0.57.
link(138,76) :- #0.14.
link(76,140) :- #0.233.
link(140,76) :- #0.168.
link(77,86) :- #0.434.
link(86,77) :- #0.787.
link(77,93) :- #0.941.
link(93,77) :- #0.349.
link(77,105) :- #0.282.
link(105,77) :- #0.123.
link(77,137) :- #0.658.
link(137,77) :- #0.408.
link(78,80) :- #0.604.
link(80,78) :- #0.361.
link(78,91) :- #0.819.
link(91,78) :- #0.312.
link(78,107) :- #0.423.
link(107,78) :- #0.196.
link(78,117) :- #0.375.
link(117,78) :- #0.961.
link(78,130) :- #0.245.
link(130,78) :- #0.663.
link(78,135) :- #0.418.
link(135,78) :- #0.665.
link(78,138) :- #0.093.
link(138,78) :- #0.938.
link(79,90) :- #0.676.
link(90,79) :- #0.68.
link(79,136) :- #0.143.
link(136,79) :- #0.32.
link(80,93) :- #0.153.
link(93,80) :- #0.142.
link(80,101) :- #0.617.
link(101,80) :- #0.749.
link(80,106) :- #0.151.
link(106,80) :- #0.958.
link(80,111) :- #0.117.
link(111,80) :- #0.236.
link(80,117) :- #0.841.
link(117,80) :- #0.322.
link(80,118) :- #0.855.
link(118,80) :- #0.28.
link(80,120) :- #0.246.
link(120,80) :- #0.087.
link(80,123) :- #0.76.
link(123,80) :- #0.114.
link(80,128) :- #0.833.
link(128,80) :- #0.213.
link(81,88) :- #0.68.
link(88,81) :- #0.971.
link(81,108) :- #0.983.
link(108,81) :- #0.659.
link(81,126) :- #0.084.
link(126,81) :- #0.675.
link(81,128) :- #0.254.
link(128,81) :- #0.256.
link(82,93) :- #0.401.
link(93,82) :- #0.194.
link(82,98) :- #0.137.
link(98,82) :- #0.222.
link(82,107) :- #0.236.
link(107,82) :- #0.948.
link(83,86) :- #0.52.
link(86,83) :- #0.785.
link(83,87) :- #0.071.
link(87,83) :- #0.362.
link(83,105) :- #0.412.
link(105,83) :- #0.965.
link(83,111) :- #0.024.
link(111,83) :- #0.285.
link(83,121) :- #0.165.
link(121,83) :- #0.554.
link(83,136) :- #0.918.
link(136,83) :- #0.354.
link(83,140) :- #0.8.
link(140,83) :- #0.08.
link(84,87) :- #0.333.
link(87,84) :- #0.624.
link(84,97) :- #0.677.
link(97,84) :- #0.314.
link(84,98) :- #0.681.
link(98,84) :- #0.545.
link(84,107) :- #0.382.
link(107,84) :- #0.59.
link(84,109) :- #0.376.
link(109,84) :- #0.852.
link(84,110) :- #0.708.
link(110,84) :- #0.605.
link(84,114) :- #0.193.
link(114,84) :- #0.788.
link(84,117) :- #0.241.
link(117,84) :- #0.845.
link(84,124) :- #0.383.
link(124,84) :- #0.053.
link(84,129) :- #0.559.
link(129,84) :- #0.834.
link(84,131) :- #0.418.
link(131,84) :- #0.672.
link(85,91) :- #0.077.
link(91,85) :- #0.59.
link(85,96) :- #0.526.
link(96,85) :- #0.835.
link(85,110) :- #0.258.
link(110,85) :- #0.457.
link(85,131) :- #0.05.
link(131,85) :- #0.513.
link(86,95) :- #0.336.
link(95,86) :- #0.529.
link(86,99) :- #0.807.
link(99,86) :- #0.909.
link(86,100) :- #0.927.
link(100,86) :- #0.569.
link(86,101) :- #0.909.
link(101,86) :- #0.598.
link(86,121) :- #0.373.
link(121,86) :- #0.512.
link(86,123) :- #0.198.
link(123,86) :- #0.564.
link(86,124) :- #0.371.
link(124,86) :- #0.49.
link(86,135) :- #0.635.
link(135,86) :- #0.341.
link(87,92) :- #0.244.
link(92,87) :- #0.093.
link(87,94) :- #0.518.
link(94,87) :- #0.738.
link(87,99) :- #0.984.
link(99,87) :- #0.004.
link(87,101) :- #0.588.
link(101,87) :- #0.198.
link(87,109) :- #0.198.
link(109,87) :- #0.973.
link(87,116) :- #0.427.
link(116,87) :- #0.902.
link(87,121) :- #0.152.
link(121,87) :- #0.746.
link(87,135) :- #0.441.
link(135,87) :- #0.354.
link(88,91) :- #0.857.
link(91,88) :- #0.991.
link(88,112) :- #0.426.
link(112,88) :- #0.096.
link(88,125) :- #0.272.
link(125,88) :- #0.868.
link(88,129) :- #0.693.
link(129,88) :- #0.441.
link(88,130) :- #0.361.
link(130,88) :- #0.702.
link(88,132) :- #0.951.
link(132,88) :- #0.056.
link(88,135) :- #0.428.
link(135,88) :- #0.508.
link(88,138) :- #0.208.
link(138,88) :- #0.806.
link(89,94) :- #0.456.
link(94,89) :- #0.268.
link(89,97) :- #0.486.
link(97,89) :- #0.519.
link(89,102) :- #0.515.
link(102,89) :- #0.779.
link(89,109) :- #0.925.
link(109,89) :- #0.117.
link(89,116) :- #0.644.
link(116,89) :- #0.31.
link(89,135) :- #0.1.
link(135,89) :- #0.484.
link(90,114) :- #0.318.
link(114,90) :- #0.988.
link(90,128) :- #0.106.
link(128,90) :- #0.453.
link(90,132) :- #0.997.
link(132,90) :- #0.651.
link(90,139) :- #0.01.
link(139,90) :- #0.41.
link(91,99) :- #0.642.
link(99,91) :- #0.496.
link(91,107) :- #0.81.
link(107,91) :- #0.334.
link(91,118) :- #0.202.
link(118,91) :- #0.351.
link(91,122) :- #0.517.
link(122,91) :- #0.081.
link(91,133) :- #0.085.
link(133,91) :- #0.215.
link(92,121) :- #0.839.
link(121,92) :- #0.567.
link(93,104) :- #0.707.
link(104,93) :- #0.268.
link(93,112) :- #0.196.
link(112,93) :- #0.141.
link(93,115) :- #0.49.
link(115,93) :- #0.023.
link(93,119) :- #0.022.
link(119,93) :- #0.175.
link(93,120) :- #0.59.
link(120,93) :- #0.435.
link(93,133) :- #0.292.
link(133,93) :- #0.096.
link(93,136) :- #0.372.
link(136,93) :- #0.465.
link(94,101) :- #0.567.
link(101,94) :- #0.138.
link(94,132) :- #0.923.
link(132,94) :- #0.918.
link(95,107) :- #0.073.
link(107,95) :- #0.949.
link(95,112) :- #0.915.
link(112,95) :- #0.023.
link(95,115) :- #0.183.
link(115,95) :- #0.135.
link(95,116) :- #0.945.
link(116,95) :- #0.448.
link(95,117) :- #0.339.
link(117,95) :- #0.457.
link(95,125) :- #0.184.
link(125,95) :- #0.842.
link(95,128) :- #0.782.
link(128,95) :- #0.014.
link(95,131) :- #0.324.
link(131,95) :- #0.058.
link(95,132) :- #0.332.
link(132,95) :- #0.437.
link(95,137) :- #0.302.
link(137,95) :- #0.278.
link(96,99) :- #0.922.
link(99,96) :- #0.215.
link(96,110) :- #0.141.
link(110,96) :- #0.148.
link(96,124) :- #0.105.
link(124,96) :- #0.462.
link(96,127) :- #0.237.
link(127,96) :- #0.85.
link(97,100) :- #0.545.
link(100,97) :- #0.988.
link(97,101) :- #0.018.
link(101,97) :- #0.895.
link(97,108) :- #0.741.
link(108,97) :- #0.745.
link(97,117) :- #0.716.
link(117,97) :- #0.146.
link(97,137) :- #0.203.
link(137,97) :- #0.814.
link(98,107) :- #0.965.
link(107,98) :- #0.68.
link(98,108) :- #0.932.
link(108,98) :- #0.017.
link(98,110) :- #0.533.
link(110,98) :- #0.059.
link(98,111) :- #0.724.
link(111,98) :- #0.087.
link(98,132) :- #0.13.
link(132,98) :- #0.27.
link(99,106) :- #0.103.
link(106,99) :- #0.715.
link(100,104) :- #0.176.
link(104,100) :- #0.266.
link(100,118) :- #0.185.
link(118,100) :- #0.787.
link(100,121) :- #0.601.
link(121,100) :- #0.8.
link(100,140) :- #0.662.
link(140,100) :- #0.862.
link(101,105) :- #0.268.
link(105,101) :- #0.205.
link(101,125) :- #0.121.
link(125,101) :- #0.554.
link(102,107) :- #0.827.
link(107,102) :- #0.228.
link(102,111) :- #0.969.
link(111,102) :- #0.605.
link(102,112) :- #0.793.
link(112,102) :- #0.96.
link(102,117) :- #0.161.
link(117,102) :- #0.301.
link(102,135) :- #0.996.
link(135,102) :- #0.828.
link(103,107) :- #0.318.
link(107,103) :- #0.485.
link(103,111) :- #0.448.
link(111,103) :- #0.327.
link(103,119) :- #0.642.
link(119,103) :- #0.296.
link(104,114) :- #0.965.
link(114,104) :- #0.432.
link(104,122) :- #0.552.
link(122,104) :- #0.183.
link(105,109) :- #0.766.
link(109,105) :- #0.067.
link(105,117) :- #0.307.
link(117,105) :- #0.369.
link(105,137) :- #0.888.
link(137,105) :- #0.633.
link(106,127) :- #0.936.
link(127,106) :- #0.651.
link(106,135) :- #0.822.
link(135,106) :- #0.791.
link(107,123) :- #0.898.
link(123,107) :- #0.792.
link(107,125) :- #0.77.
link(125,107) :- #0.844.
link(107,132) :- #0.563.
link(132,107) :- #0.247.
link(108,115) :- #0.465.
link(115,108) :- #0.181.
link(109,115) :- #0.295.
link(115,109) :- #0.188.
link(109,121) :- #0.556.
link(121,109) :- #0.172.
link(109,135) :- #0.886.
link(135,109) :- #0.754.
link(109,138) :- #0.989.
link(138,109) :- #0.296.
link(110,112) :- #0.888.
link(112,110) :- #0.709.
link(110,114) :- #0.229.
link(114,110) :- #0.323.
link(110,125) :- #0.915.
link(125,110) :- #0.911.
link(111,112) :- #0.096.
link(112,111) :- #0.505.
link(111,130) :- #0.017.
link(130,111) :- #0.671.
link(111,137) :- #0.596.
link(137,111) :- #0.372.
link(111,139) :- #0.264.
link(139,111) :- #0.422.
link(112,118) :- #0.801.
link(118,112) :- #0.2.
link(112,122) :- #0.648.
link(122,112) :- #0.74.
link(112,124) :- #0.133.
link(124,112) :- #0.053.
link(112,129) :- #0.502.
link(129,112) :- #0.208.
link(112,139) :- #0.675.
link(139,112) :- #0.809.
link(113,116) :- #0.948.
link(116,113) :- #0.777.
link(113,118) :- #0.263.
link(118,113) :- #0.398.
link(113,132) :- #0.18.
link(132,113) :- #0.072.
link(114,117) :- #0.418.
link(117,114) :- #0.786.
link(114,125) :- #0.022.
link(125,114) :- #0.417.
link(114,132) :- #0.931.
link(132,114) :- #0.961.
link(114,136) :- #0.526.
link(136,114) :- #0.824.
link(115,116) :- #0.326.
link(116,115) :- #0.206.
link(115,130) :- #0.923.
link(130,115) :- #0.552.
link(117,121) :- #0.195.
link(121,117) :- #0.572.
link(117,123) :- #0.033.
link(123,117) :- #0.347.
link(117,127) :- #0.637.
link(127,117) :- #0.293.
link(117,131) :- #0.943.
link(131,117) :- #0.896.
link(117,132) :- #0.822.
link(132,117) :- #0.539.
link(118,120) :- #0.054.
link(120,118) :- #0.049.
link(119,128) :- #0.101.
link(128,119) :- #0.721.
link(119,132) :- #0.336.
link(132,119) :- #0.976.
link(122,130) :- #0.551.
link(130,122) :- #0.508.
link(122,134) :- #0.106.
link(134,122) :- #0.646.
link(123,124) :- #0.35.
link(124,123) :- #0.823.
link(123,134) :- #0.872.
link(134,123) :- #0.971.
link(124,129) :- #0.776.
link(129,124) :- #0.718.
link(125,133) :- #0.781.
link(133,125) :- #0.233.
link(125,135) :- #0.852.
link(135,125) :- #0.869.
link(126,140) :- #0.036.
link(140,126) :- #0.024.
link(128,130) :- #0.884.
link(130,128) :- #0.216.
link(128,133) :- #0.043.
link(133,128) :- #0.163.
link(129,135) :- #0.245.
link(135,129) :- #0.467.
link(131,135) :- #0.281.
link(135,131) :- #0.83.
link(133,135) :- #0.387.
link(135,133) :- #0.725.
link(134,138) :- #0.202.
link(138,134) :- #0.34.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
